Modeling languages - PDFSEARCH.IO - Document Search Engine

Modeling languages
Results: 539

#	Item
21	IEEE FIPA Workshop on Design Process Documentation and Fragmentation to be held at The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW30th of August - 2nd of September, 2010 Domaine Va Add to Reading List Source URL: apice.unibo.it Language: English - Date: 2010-05-20 03:45:52 Process management Systems engineering Enterprise modelling Method engineering Business process modeling Design Systems science Business process Software development process Process modeling Engineering
22	Advances in Abstract Categorial Grammars Language Theory and Linguistic Modeling Lecture 3 Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2010-06-08 00:59:21 Software engineering Formal languages Computer programming Declarative programming Datalog CYK algorithm Definite clause grammar Parsing Logic programming Prolog Parse tree Categorial grammar
23	Advances in Programming Languages APL5: ESC/Java2 — The Java Extended Static Checker David Aspinall (including slides by Ian Stark and material adapted from ESC/Java2 tutorial by Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-24 19:03:54 Computing Software engineering Software Java platform Cross-platform software Formal methods ESC/Java Concurrent programming languages Java Modeling Language Extended static checking Java Java version history
24	Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-20 18:21:25 Computing Software engineering Theoretical computer science Formal methods Logic in computer science Java Modeling Language Java platform Static program analysis ESC/Java Hoare logic Assertion Modeling language
25	Modeling the Past Tense Informatics 1 CG: Lecture 7 Reading: Mirella Lapata Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2016-01-26 05:39:56 Linguistic morphology Germanic languages Regular and irregular verbs Words and Rules Verb English verbs Past tense Inflection Language acquisition English irregular verbs Proto-Indo-European verbs
26	τ-ARGUS release notes versionPeter-Paul de Wolf and Anco Hundepool 29 April Add to Reading List Source URL: neon.vb.cbs.nl Language: English - Date: 2015-04-29 09:36:15 Scripting languages AMPL Mathematical modeling Mathematical optimization Argus Batch file SCIP Te SPSS
27	AgentCubes Incremental 3D end-user development Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 2009-05-30 11:28:08 Visual programming languages Visual effects 3D computer graphics Humancomputer interaction Video game development AgentSheets End-user development 3D modeling Game engine Agent-based model Logo
28	Design and Analysis of Executable Software Models: An Introduction and Overview Reiner H¨ahnle joint work with Antonio F. Montoya, Richard Bubel, Crystal C. Din and many others! Technical University of Darmstadt haehnle Add to Reading List Source URL: www.sti.uniurb.it Language: English - Date: 2014-06-17 02:41:37 Procedural programming languages Cross-platform software Object-oriented programming languages Modeling language Scientific modeling Go D
29	OPENRULES ® Open Source Business Decision Management System ReleaseDecision Modeling Tutorial Add to Reading List Source URL: openrules.com Language: English - Date: 2012-06-03 15:17:43 Java platform Object-oriented programming languages Cross-platform software Java String
30	Active Automata Learning: From DFA to Interface Programs and Beyond or From Languages to Program Executions or (more technically) The Power of Counterexample Analysis Add to Reading List Source URL: www.connect-forever.eu Language: English - Date: 2012-12-20 13:12:46 Digital audio Digital audio recording Multiplexing Pulse-code modulation Rational Software Data modeling Extrapolation Economic model